xen/arm: vgic-v3: Clarify which distributor is used in the common emulation
authorJulien Grall <julien.grall@linaro.org>
Mon, 16 Feb 2015 14:50:49 +0000 (14:50 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 19 Feb 2015 16:55:48 +0000 (16:55 +0000)
commitb69707118babd90b56e07a747ea698bd90a2cf74
tree92e9e79e35c72db939a114da9c4e9dc557f99b8e
parentacf65e5a25a791223a49884f803d82aeecc74606
xen/arm: vgic-v3: Clarify which distributor is used in the common emulation

The messages in the common emulation doesn't specify which distributor
(redistributor or distributor) is used. This make difficult to find the
correct registers.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v3.c